formal inference
形式推理
热门查询
- Barnett [人名] [英格兰人姓氏] 巴尼特 Barnet的变体; [地名] [美国] 巴尼特
- chapstick n. 无色唇膏
- Sanderson 桑德森（英国墙纸公司）
- Bowden [人名] [英格兰人姓氏] 鲍登住所名称，来源于古英语，含义是“弓+山”(bow+hill); [人名] [英格兰人姓氏，] 鲍登地貌名称，来源于古英语，含义是“在山上”(above the hill); [人名] [爱尔兰姓氏] 鲍登盖尔语姓氏的英语形式，来源于古爱尔兰语人名; [地名] [加拿大、美国、牙买加、英国] 鲍登
- mutter vi. 咕哝；喃喃自语 vt. 咕哝；抱怨地说；低声含糊地说 n. 咕哝；喃喃低语 n. (Mutter)人名；(法)米泰；(德、匈、西)穆特；(英)马特
- sedulously adv. 孜孜不倦地; 刻意
- sprung v. 蹦跳；弹起（spring的过去式） adj. 装有弹簧的 n. (Sprung)人名；(德、匈)施普龙
- impermeable adj. 不渗透性的；（对水等）不能渗透的
- airdrop n. 空投 vt. 空投
- agree vi. vi. 同意，意见一致；约定，商定 vt. 同意，赞成；承认；约定，商定
- Woodhead n. 蠢笨的人，木头脑袋
- vender n. 卖主；小贩；自动售货机（等于vendor） n. (Vender)人名；(塞、捷)文德
- schooner n. [船] 纵帆船；大酒杯；大篷车 n. (Schooner)人名；(英)斯库纳
- grater n. 摩擦器；磨光机；[木] 粗齿木锉
- paralysed adj. 瘫痪的；麻痹的；惊呆的
- Nebraska n. 内布拉斯加州
- rigger n. 装配工；索具装配人；保护架
- novocaine n. 奴佛卡因（一种麻醉药）
- interfaith adj. 不同宗教信仰者的；多种信仰的
- skulk n. 躲藏者；逃避责任者；潜行的人或动物 vi. 潜伏；偷偷隐躲；逃避责任；偷偷摸摸地行走
